Are locally finite MV-algebras a variety?

نویسندگان

چکیده

We answer Mundici's problem number 3 (D. Mundici. Advanced {\L}ukasiewicz calculus. Trends in Logic Vol. 35. Springer 2011, p. 235): Is the category of locally finite MV-algebras equivalent to an equational class? prove: (i) The is not any finitary variety. (ii) More true: finitely-sorted quasi-variety. (iii) infinitary variety; with operations at most countable arity. (iv) a countably-sorted Our proofs rest upon duality between and multisets by R. Cignoli, E. J. Dubuc D. Mundici, categorical characterisations varieties quasi-varieties proved Duskin, Isbell, F. W. Lawvere others. In fact no knowledge on needed, apart from aforementioned duality.

برای دانلود باید عضویت طلایی داشته باشید

برای دانلود متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

RS-BL-algebras are MV-algebras

We prove that RS-BL-algebras are MV-algebras.

متن کامل

Topological Locally Finite Mv -algebras and Riemann Surfaces

It is known that any MV -algebra is a topological MV -algebra. For a locally finite MV -algebra A with some algebraic and topological conditions the product A× A becomes a compact Riemann surface (modulo conformal equivalence). Topologically, it is a torus.

متن کامل

rs-bl-algebras are mv-algebras

we prove that rs-bl-algebras are mv-algebras.

متن کامل

MV-algebras: a variety for magnitudes with archimedean units

Chang’s MV-algebras are, on the one hand, the algebras of the infinite-valued Lukasiewicz calculus and, on the other hand, they are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital `-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no l...

متن کامل

Projectivity and unification in the varieties of locally finite monadic MV-algebras

A description of finitely generated free monadic MV -algebras and a characterization of projective monadic MV -algebras in locally finite varieties is given. It is shown that unification type of locally finite varieties is unitary.

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Journal of Pure and Applied Algebra

سال: 2022

ISSN: ['1873-1376', '0022-4049']

DOI: https://doi.org/10.1016/j.jpaa.2021.106858